Auto merge of #3650 - bluetech:profile-doc-fix, r=alexcrichton
authorbors <bors@rust-lang.org>
Sun, 5 Feb 2017 21:06:08 +0000 (21:06 +0000)
committerbors <bors@rust-lang.org>
Sun, 5 Feb 2017 21:06:08 +0000 (21:06 +0000)
commit3708b123fe8f135fae68b390bbb605efbfbcc0d1
treed9c53d386acb397126206b5d15ce9fbf615f4464
parentd71022200293391fa4fbeb32fb943b840ab5abed
parentfb3213f17a7c047b05b6d2df1bc967d59574548f
Auto merge of #3650 - bluetech:profile-doc-fix, r=alexcrichton

Fix the documentation for the PROFILE envvar passed to build scripts

Closes #2084 (+ a typo fix).